верифицирующее условие

Information technology: verification condition (в технике доказательства правильности программ)